Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
511	Advisory Committee of the Supreme Court of Missouri Formal Opinion 127 Add to Reading List Source URL: www.mobar.org Language: English - Date: 2011-11-16 14:39:22 Data security Computer file Inter-process communication File system
512	Providing Integrated Development Processes for Distributed Development Environments Marco Kuhrmann, Georg Kalus Technische Universität München, Institut für Informatik – Software & Systems Engineering Boltzmannstr. Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-11-17 09:26:16 Software project management Formal methods Microsoft SharePoint V-Model System Architect Model-driven architecture Quality assurance IBM Rational Unified Process Team Foundation Server Software Information technology management Systems engineering
513	SEMINAR SEMINAR DISTINGUISHED LECTURE THURSDAY NOVEMBER 15, Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-10-03 11:22:12 Systems theory Knowledge Manfred Morari Formal sciences Control engineering ETH Zurich System Control theory Donald P. Eckman Award Science Systems science Cybernetics
514	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
515	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics
516	NOTICE: This opinion is subject to motions for rehearing under Rule 22 as well as formal revision before publication in the New Hampshire Reports. Readers are requested to notify the Reporter, Supreme Court of New Hampsh Add to Reading List Source URL: www.courts.state.nh.us Language: English - Date: 2013-03-20 14:19:54 Law Government Comparative law Miranda warning Adversarial system Jury
517	Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-07-22 18:53:53 Gernot Heiser L4 microkernel family Microkernel Formal verification Kernel Embedded system Ring Linux kernel Operating system Computer architecture System software Software
518	NRL Release Number[removed]Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned Constance L. Heitmeyer and Ralph D. Jeffords Naval Research Laboratory (Code 5546) Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-25 12:55:41 Software requirements Systems engineering Formal methods Requirement Software Requirements Specification Specification Software design Life-critical system Verification Software development Technology Software
519	Matching Formal and Informal Geospatial Ontologies Heshan Du, Natasha Alechina, Mike Jackson and Glen Hart Abstract The rapid development of crowd-sourcing or volunteered geographic information both challenges and provid Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:52:38 Science Semantic Web Information science Technical communication Upper ontology WordNet Semantic integration Geographic information system Semantic matching Ontology Information Knowledge representation
520	MUTU: An Analysis Tool for Maintaining a System of Hierarchically Linked Ontologies Sini Pessala, Katri Sepp¨al¨a, Osma Suominen, Matias Frosterus, Jouni Tuominen, and Eero Hyv¨onen Semantic Computing Research Group ( Add to Reading List Source URL: www.seco.tkk.fi Language: English - Date: 2011-10-05 07:29:03 Science Semantic Web Information science Technical communication Upper ontology Simple Knowledge Organization System Formal ontology Ontology engineering Ontology Knowledge representation Information

UPDATE